Semantic reasoner - PDFSEARCH.IO - Document Search Engine

Semantic reasoner
Results: 196

#	Item
181	Rule Responder: RuleML-Based Agents for Distributed Collaboration on the Pragmatic Web Adrian Paschke Add to Reading List Source URL: ruleml.org Language: English - Date: 2007-11-02 21:14:23 Science Computing Knowledge representation Knowledge engineering Prova RuleML Semantic reasoner Software agent Ontology Artificial intelligence Semantic Web Rule engines
182	OBO and OWL: Leveraging Semantic Web Technologies for the Life Sciences Christine Golbreich1 , Matthew Horridge2 , Ian Horrocks3 , Boris Motik3 , and Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2007-07-26 07:53:26 Information Bioinformatics Information science Knowledge representation Web Ontology Language Open Biomedical Ontologies Description logic BioPAX Semantic reasoner Ontology Semantic Web Science
183	State of the Semantic Web (34) Add to Reading List Source URL: www.w3.org Language: English - Date: 2007-04-17 11:53:42 Data Ontology editor Semantic reasoner Simple Knowledge Organization System Ontology RDF query language Semantically-Interlinked Online Communities SPARQL Triplestore Semantic Web Information Data management
184	PDF Document Add to Reading List Source URL: eprints.ecs.soton.ac.uk Language: English Data Ontology Web Ontology Language Resource Description Framework Resource Semantic interoperability RDF Schema Semantic reasoner FOAF Semantic Web Information Computing
185	PDF Document Add to Reading List Source URL: sunsite.informatik.rwth-aachen.de Language: English - Date: 2006-05-16 05:09:52 Semantic Web Knowledge representation Information science Knowledge engineering Semantic reasoner Description logic Open Biomedical Ontologies KAON Ian Horrocks Ontology Information Science
186	PDF Document Add to Reading List Source URL: eprints.ecs.soton.ac.uk Language: English Data Ontology Web Ontology Language Resource Description Framework Resource Semantic interoperability RDF Schema Semantic reasoner FOAF Semantic Web Information Computing
187	PDF Document Add to Reading List Source URL: www.hermit-reasoner.com Language: English - Date: 2012-02-03 12:06:02 Automated theorem proving Theoretical computer science Rules of inference Formal methods Method of analytic tableaux Lambda calculus Unification Calculus Semantic reasoner Mathematical logic Mathematics Logic
188	PDF Document Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2007-07-26 07:53:19 Semantic Web Knowledge Knowledge representation Information science Knowledge engineering Description logic Web Ontology Language Semantic reasoner Tbox Ontology Science Information
189	PDF Document Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2007-07-26 07:51:46 Knowledge representation Data Information science Ontology Non-classical logic Description logic Web Ontology Language Semantic reasoner Ontology language Semantic Web Information Science
190	PDF Document Add to Reading List Source URL: www2009.org Language: English - Date: 2009-03-19 16:32:23 Reasoning Logic programming Query languages Semantic Web Programming paradigms Datalog Prolog Semantic reasoner Answer set programming Computing Software engineering Artificial intelligence

UPDATE